A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming
نویسندگان
چکیده
منابع مشابه
a study of the fifth child and ben in the world by doris lessing in the light of julia kristevas psychoanalytic concepts
این مطالعه به بررسی عوامل روانشناختی کریستوادردو رمان دوربس لسینگ،فرزندبنجم و بن دردنیای واقعی می بردازد.موفقیت یا شکست کاراکترهادر تکمیل شکست تتیزی یه کمک بدر وهم از مهم ترین دغدغه محقق می باشد.به بررسی تحلیل روانشناختی تمامی کاراکترها خصوصا بن برداخته و به دنبال نشانه هایی از جامعه شیشه ای کریستوا می باشد.
15 صفحه اولClassical Generalized Probabilistic Satisfiability
We analyze a classical generalized probabilistic satisfiability problem (GGenPSAT) which consists in deciding the satisfiability of Boolean combinations of linear inequalities involving probabilities of classical propositional formulas. GGenPSAT coincides precisely with the satisfiability problem of the probabilistic logic of Fagin et al. and was proved to be NP-complete. Here, we present a pol...
متن کاملa contrastive study of rhetorical functions of citation in iranian and international elt scopus journals
writing an academic article requires the researchers to provide support for their works by learning how to cite the works of others. various studies regarding the analysis of citation in m.a theses have been done, while little work has been done on comparison of citations among elt scopus journal articles, and so the dearth of research in this area demands for further investigation into citatio...
Testing XML constraint satisfiability
In a previous paper, we have showed that Hybrid Modal Logic can be successfully used to model semistructured data and provides a simple and well suited formalism for capturing “well typed” references and of course a powerful language for expressing constraint. This paper builds on the previous one and provides a tableau proof technique for constraint satisfiability testing in the presence of sc...
متن کاملa comparative study of the relationship between self-, peer-, and teacher-assessments in productive skills
تمایل به ارزیابی جایگزین و تعویض آن با آزمون سنتی مداد و کاغذ در سالهای اخیر افزایش یافته است. اکثر زبان آموزان در کلاس های زبان از نمره نهایی که استاد تعیین میکند ناراضی اند. این تحقیق جهت بررسی ارزیابی در کلاس های زبان انگلیسی به هدف رضایتمندی زبان آموزان از نمره هایشان انجام گرفته است که در آن نمرات ارائه شده توسط سه گروه ارزیاب (ارزیابی خود دانشجو، همسالان واستاد) در مهارت های تولید (تکل...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2017
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2016.04.041